1. Alan M. Turing /
پدیدآورنده : Sara Turing ; with a foreword by Martin Davis and an afterword by John Turing
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Turing, Alan,1912-1954,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
T8
2012
2. Applied nonstandard analysis
پدیدآورنده : Davis, Martin
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Nonstandard mathematical analysis
رده :
QA
299
.
82
.
D38
3. Applied nonstandard analysis
پدیدآورنده : Martin Davis,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Nonstandard mathematical analysis
رده :
QA
.
D38
299
.
82
4. Computability
پدیدآورنده : Martin Davis,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Recursive functions,Unsolvability )Mathematical logic(,Computable functions
رده :
QA
.
D38
9
.
615
1982
5. Computability, Complexity, and Languages
پدیدآورنده : \ Martin D. Davis, Elaine J. Weyuker
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبانهای صوری
رده :
E-Book
,
6. Computability and unsolvability
پدیدآورنده : Davis, Martin, 8291-
کتابخانه: (طهران)
موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions
رده :
QA
9
.
615
.
D38
1982
7. Computability, complexity, and languages :
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
8. Computability, complexity, and languages
پدیدآورنده : Martin D. Davis, Elaine J. Weyuker,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Machine theory,Computational complexity,Formal languages
رده :
QA
.
D38
267
1983
9. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin, 8291-
کتابخانه: (طهران)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
10. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin
موضوع : ، Machine theory,، Computational complexity,، Formal languages
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)
موضوع : Machine theory,Computational complexity,Formal languages
رده :
QA
267
.
D38
1994
12. Computability, complexity, and languages fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
13. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin, 8291-
کتابخانه: (طهران)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
1994
14. Computability & unsolvability
پدیدآورنده : Davis, Martin
موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Computability & unsolvability
پدیدآورنده : DAVIS,MARTIN DAVID
کتابخانه: (طهران)
موضوع : RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTABLE FUNCTIONS
رده :
QA
9
.
615
.
D38
16. Computability & unsolvability
پدیدآورنده : DAVIS,MARTIN
کتابخانه: (طهران)
موضوع : RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTERS FUNCTIONS
رده :
QA
9
.
615
.
D38
1982
17. Die Löwen-Liga :
پدیدآورنده : martin Sänger, Peter Buchenau, Zach Davis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Relationship marketing.,Selling.,Success in business.
18. Differential and integral calculus
پدیدآورنده : Landau, Edmund,7781-8391., by Edmund Landau. Translated from the German by Melvin Hausner and Martin Davis
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Calculus
رده :
QA
303
.
L254
19. Dissent
پدیدآورنده : / edited by Martin Blatt, Uri Davis, Paul Kleinbaum; introduction by Noam Chomsky
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : م‍خ‍ال‍ف‍ان ج‍ن‍گ -- اس‍رائ‍ی‍ل -- خ‍اطرات ش‍خ‍ص‍ی,ص‍ه‍ی‍ون‍ی‍س‍م -- دف‍اع‍ی‍ه‌ه‍ا و ردی‍ه‌ه‍ا
رده :
UB
۳۴۲
/
ال
ف
۵
د
۹ ۱۳۵۴
20. From Linear Operators to Computational Biology
پدیدآورنده : / Martin Davis, Edmond Schonberg
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : CONTROL SYSTEMS|ROBOTICS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|AUTOMATION
رده :
E-BOOK
